Stavros Tripakis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 08) - Annaba (Algeria) (30 June–2 July 2008)] AIP Conference Proceedings - Automatic Generation of Observers for the Dala Robot with TTG

Bensalem, Saddek, Bozga, Marius, Gallien, Matthieu, Ingrand, François Félix, Krichen, Moez, Tripakis, Stavros, Arioui, Hichem, Merzouki, Rochdi, Abbassi, Hadj Ahmed

Year:

2008

Language:

english

File:

PDF, 1.40 MB

english, 2008

2

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware

Tripakis, Stavros, Limaye, Rhishikesh, Ravindran, Kaushik, Wang, Guoqiang, Andrade, Hugo, Ghosal, Arkadeb

Journal:

Journal of Signal Processing Systems

Year:

2016

Language:

english

File:

PDF, 2.71 MB

english, 2016

3

Compositionality in the Science of System Design

Tripakis, Stavros

Journal:

Proceedings of the IEEE

Year:

2016

Language:

english

File:

PDF, 555 KB

english, 2016

4

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Cross-Layer Interactions in CPS for Performance and Certification

Chakraborty, Samarjit, Anderson, James H., Becker, Martin, Graeb, Helmut, Halder, Samiran, Metta, Ravindra, Thiele, Lothar, Tripakis, Stavros, Yeolekar, Anand

Year:

2019

Language:

english

File:

PDF, 2.40 MB

english, 2019

5

Automatic Synthesis of Distributed Protocols

Alur, Rajeev, Tripakis, Stavros

Journal:

ACM SIGACT News

Year:

2017

Language:

english

File:

PDF, 1.10 MB

english, 2017

6

[IEEE 2014 International Conference on the Internet of Things (IOT) - Cambridge, MA, USA (2014.10.6-2014.10.8)] 2014 International Conference on the Internet of Things (IOT) - Game theoretic secure localization in wireless sensor networks

Jha, Susmit, Tripakis, Stavros, Seshia, Sanjit A., Chatterjee, Krishnendu

Year:

2014

Language:

english

File:

PDF, 250 KB

english, 2014

7

Supervisory control and reactive synthesis: a comparative introduction

Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe Y.

Journal:

Discrete Event Dynamic Systems

Year:

2017

Language:

english

File:

PDF, 2.16 MB

english, 2017

8

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

Sofronis, Christos, Tripakis, Stavros, Caspi, Paul

Year:

2006

Language:

english

File:

PDF, 333 KB

english, 2006

9

[ACM Press the seventh IEEE/ACM/IFIP international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '11 - Correct and non-defensive glue design using abstract models

Tripakis, Stavros, Andrade, Hugo, Ghosal, Arkadeb, Limaye, Rhishikesh, Ravindran, Kaushik, Wang, Guoqiang, Yang, Guang, Kormerup, Jacob, Wong, Ian

Year:

2011

Language:

english

File:

PDF, 648 KB

english, 2011

10

[IEEE First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Shanghai, China (2007.06.6-2007.06.8)] First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) - Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems

Cassez, Franck, Tripakis, Stavros, Altisen, Karine

Year:

2007

Language:

english

File:

PDF, 239 KB

english, 2007

11

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - When Do We (Not) Need Complex Assume-Guarantee Rules?

Siirtola, Antti Tapani, Tripakis, Stavros, Heljanko, Keijo

Year:

2015

Language:

english

File:

PDF, 440 KB

english, 2015

12

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - State identification problems for input/output transition systems

Saddek Bensalem,, Moez Krichen,, Stavros Tripakis,

Year:

2008

Language:

english

File:

PDF, 224 KB

english, 2008

13

[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Refinement calculus of reactive systems

Preoteasa, Viorel, Tripakis, Stavros

Year:

2014

Language:

english

File:

PDF, 291 KB

english, 2014

14

Analysis of Timed Systems Using Time-Abstracting Bisimulations

Stavros Tripakis, Sergio Yovine

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 354 KB

english, 2001

15

The Refinement Calculus of Reactive Systems Toolset

Dragomir, Iulia, Preoteasa, Viorel, Tripakis, Stavros

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2020

File:

PDF, 1.55 MB

2020

16

Hybrid co-simulation: it’s about time

Cremona, Fabio, Lohstroh, Marten, Broman, David, Lee, Edward A., Masin, Michael, Tripakis, Stavros

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.78 MB

english, 2017

17

[IEEE IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society - Yokohama (2015.11.9-2015.11.12)] IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society - Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

Vyatkin, Valeriy, Cheng Pang,, Tripakis, Stavros

Year:

2015

Language:

english

File:

PDF, 736 KB

english, 2015

18

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control

Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 367 KB

english, 2014

19

[IEEE 2018 IEEE Industrial Cyber-Physical Systems (ICPS) - Saint Petersburg, Russia (2018.5.15-2018.5.18)] 2018 IEEE Industrial Cyber-Physical Systems (ICPS) - Data-driven and model-based design

Tripakis, Stavros

Year:

2018

Language:

english

File:

PDF, 113 KB

english, 2018

20

Testing Conformance of Real-Time Applications by Automatic Generation of Observers

Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 381 KB

english, 2005

21

Folk theorems on the determinization and minimization of timed automata

Stavros Tripakis

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 96 KB

english, 2006

22

Compositionality in synchronous data flow

Tripakis, Stavros, Bui, Dai, Geilen, Marc, Rodiers, Bert, Lee, Edward A.

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 490 KB

english, 2013

23

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Static dataflow with access patterns

Ghosal, Arkadeb, Limaye, Rhishikesh, Ravindran, Kaushik, Tripakis, Stavros, Prasad, Ankita, Wang, Guoqiang, Tran, Trung N., Andrade, Hugo

Year:

2012

Language:

english

File:

PDF, 885 KB

english, 2012

24

Runtime Enforcement of Cyber-Physical Systems

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Allen, Nathan, Tripakis, Stavros, Hanxleden, Reinhard Von

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 784 KB

english, 2017

25

Checking Timed Büchi Automata Emptiness Efficiently

Stavros Tripakis, Sergio Yovine, Ahmed Bouajjani

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 1.39 MB

english, 2005

26

[ACM Press the ACM/IEEE 4th International Conference - Philadelphia, Pennsylvania (2013.04.08-2013.04.11)] Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems - ICCPS '13 - Cyber-physical system design contracts

Derler, Patricia, Lee, Edward A., Tripakis, Stavros, Törngren, Martin

Year:

2013

Language:

english

File:

PDF, 2.71 MB

english, 2013

27

Semantics-preserving multitask implementation of synchronous programs

Caspi, Paul, Scaife, Norman, Sofronis, Christos, Tripakis, Stavros

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2008

Language:

english

File:

PDF, 781 KB

english, 2008

28

The Science of Software and System Design

Tripakis, Stavros

Journal:

IFAC-PapersOnLine

Year:

2018

File:

PDF, 282 KB

2018

29

Timing Analysis and Code Generation of Vehicle Control Software using Taxys

Stavros Tripakis, Sergio Yovine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 261 KB

english, 2001

30

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Cassez, Franck, Cassez, Franck, Cassez, Franck, Cassez, Franck, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Tripakis, Stavros, Altisen, Karine, Altisen, Karine, Altisen, Karine, Altisen,

Year:

2007

Language:

english

File:

PDF, 240 KB

english, 2007

31

[IEEE 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) - Agios Konstantinos, Samos, Greece (2014.7.14-2014.7.17)] 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) - On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations

Tripakis, Stavros, Limaye, Rhishikesh, Ravindran, Kaushik, Wang, Guoqiang

Year:

2014

Language:

english

File:

PDF, 798 KB

english, 2014

32

[IEEE 2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) - Agios Konstantinos, Samos Island, Greece (2016.7.17-2016.7.21)] 2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) - Multi-view consistency for infinitary regular languages

Pittou, Maria, Tripakis, Stavros

Year:

2016

Language:

english

File:

PDF, 174 KB

english, 2016

33

[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden, Germany (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts

Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Year:

2018

Language:

english

File:

PDF, 205 KB

english, 2018

34

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

Pittou, Maria, Manolios, Panagiotis, Reineke, Jan, Tripakis, Stavros

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 597 KB

english, 2018

35

Undecidable problems of decentralized observation and control on regular languages

Stavros Tripakis

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 193 KB

english, 2004

36

[IEEE 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Samos, Greece (2015.7.19-2015.7.23)] 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms

Yang, Yang, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Year:

2015

Language:

english

File:

PDF, 519 KB

english, 2015

37

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Step revision in hybrid Co-simulation with FMI

Cremona, Fabio, Lohstroh, Marten, Broman, David, Di Natale, Marco, Lee, Edward A., Tripakis, Stavros

Year:

2016

Language:

english

File:

PDF, 1.07 MB

english, 2016

38

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems

Persson, Magnus, Torngren, Martin, Qamar, Ahsan, Westman, Jonas, Biehl, Matthias, Tripakis, Stavros, Vangheluwe, Hans, Denil, Joachim

Year:

2013

Language:

english

File:

PDF, 589 KB

english, 2013

39

A modular formal semantics for Ptolemy

TRIPAKIS, STAVROS, STERGIOU, CHRISTOS, SHAVER, CHRIS, LEE, EDWARD A.

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 1.08 MB

english, 2013

40

Predictive Runtime Verification of Timed Properties

Pinisetty, Srinivas, Jéron, Thierry, Tripakis, Stavros, Falcone, Yliès, Marchand, Hervé, Preoteasa, Viorel

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 905 KB

english, 2017

41

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Runtime enforcement of reactive systems using synchronous enforcers

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Tripakis, Stavros, Hanxleden, Reinhard von

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

42

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

Preoteasa, Viorel, Tripakis, Stavros

Year:

2016

Language:

english

File:

PDF, 347 KB

english, 2016

43

Automatic generation of path conditions for concurrent timed systems

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.19 MB

english, 2008

44

[ACM Press the 2003 ACM SIGPLAN conference - San Diego, California, USA (2003.06.11-2003.06.13)] Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES '03 - From simulink to SCADE/lustre to TTA

Caspi, Paul, Curic, Adrian, Maignan, Aude, Sofronis, Christos, Tripakis, Stavros, Niebert, Peter

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

45

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - Modular code generation from synchronous block diagrams

Lublinerman, Roberto, Szegedy, Christian, Tripakis, Stavros

Year:

2008

Language:

english

File:

PDF, 363 KB

english, 2008

46

Automated Composition of Module Chains

Stavros Tripakis

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 353 KB

english, 2002

47

[IEEE 2008 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - St. Louis, MO, USA (2008.04.22-2008.04.24)] 2008 IEEE Real-Time and Embedded Technology and Applications Symposium - Modular Code Generation from Triggered and Timed Block Diagrams

Lublinerman, Roberto, Tripakis, Stavros

Year:

2008

Language:

english

File:

PDF, 533 KB

english, 2008

48

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Determinate composition of FMUs for co-simulation

Broman, David, Brooks, Christopher, Greenberg, Lev, Lee, Edward A., Masin, Michael, Tripakis, Stavros, Wetter, Michael

Year:

2013

Language:

english

File:

PDF, 617 KB

english, 2013

49

From simulink to SCADE/lustre to TTA

Caspi, Paul, Curic, Adrian, Maignan, Aude, Sofronis, Christos, Tripakis, Stavros, Niebert, Peter

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

50

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

Preoteasa, Viorel, Tripakis, Stavros

Year:

2016

File:

PDF, 347 KB

2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски